"Alan Bundy" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Volume 56)

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

996 Kb

#2

The Nature of Mathematical Proof (Philosophical Transactions of the Royal Society A)

Alan Bundy, Michael Atiyah, Angus Macintyre, Donald MacKenzie (Editors)

3.12 Mb

#3

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy

Michael Kohlhase

3.46 Mb

#4

Rippling: Meta-Level Guidance for Mathematical Reasoning

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

2.08 Mb

#5

Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings

Alan Bundy

8.06 Mb